[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 101 477 0 82 0 299 -1

N.S.

1 1.00 0.71 3.34 0.00 0.57 0.00 2.09 -0.01

time (sec)

N/A 0.086 0.264 0.070 0.000 3.707 0.000 1.426 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 111 238 164 88 279 75 -1

N.S.

1 1.00 0.98 2.11 1.45 0.78 2.47 0.66 -0.01

time (sec)

N/A 0.082 0.141 0.070 0.485 4.540 3.251 1.250 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 155 502 230 129 830 119 -1

N.S.

1 1.00 0.77 2.50 1.14 0.64 4.13 0.59 -0.00

time (sec)

N/A 0.100 0.232 0.071 0.509 3.314 26.377 1.365 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 144 449 207 118 775 108 -1

N.S.

1 1.00 0.84 2.61 1.20 0.69 4.51 0.63 -0.01

time (sec)

N/A 0.076 0.227 0.059 0.487 3.271 26.006 0.910 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 133 317 186 109 653 96 -1

N.S.

1 1.00 0.95 2.26 1.33 0.78 4.66 0.69 -0.01

time (sec)

N/A 0.091 0.227 0.064 0.489 2.936 8.579 1.374 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 122 295 166 98 580 86 -1

N.S.

1 1.00 1.05 2.54 1.43 0.84 5.00 0.74 -0.01

time (sec)

N/A 0.036 0.223 0.084 0.485 2.843 8.452 1.294 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 111 192 105 89 435 74 -1

N.S.

1 1.00 1.11 1.92 1.05 0.89 4.35 0.74 -0.01

time (sec)

N/A 0.019 0.239 0.068 0.477 2.905 4.253 0.968 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 140 297 122 102 469 100 -1

N.S.

1 1.00 1.24 2.63 1.08 0.90 4.15 0.88 -0.01

time (sec)

N/A 0.073 0.343 0.067 0.480 3.346 9.619 1.188 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 143 430 130 121 386 156 -1

N.S.

1 1.00 1.24 3.74 1.13 1.05 3.36 1.36 -0.01

time (sec)

N/A 0.070 0.346 0.076 0.497 2.255 4.177 2.161 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 142 570 131 127 461 211 -1

N.S.

1 1.00 1.17 4.71 1.08 1.05 3.81 1.74 -0.01

time (sec)

N/A 0.069 0.507 0.076 0.487 1.832 4.865 2.795 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 139 735 125 122 457 255 -1

N.S.

1 1.00 1.16 6.12 1.04 1.02 3.81 2.12 -0.01

time (sec)

N/A 0.072 0.468 0.075 0.478 2.088 4.456 1.468 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 137 904 150 112 541 289 -1

N.S.

1 1.00 1.15 7.60 1.26 0.94 4.55 2.43 -0.01

time (sec)

N/A 0.072 0.510 0.079 0.477 3.063 5.810 1.266 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 151 1100 144 92 774 366 -1

N.S.

1 1.00 1.40 10.19 1.33 0.85 7.17 3.39 -0.01

time (sec)

N/A 0.058 0.492 0.069 0.474 2.575 5.619 1.079 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 123 1300 167 102 918 425 -1

N.S.

1 1.00 0.86 9.09 1.17 0.71 6.42 2.97 -0.01

time (sec)

N/A 0.076 0.523 0.076 0.479 3.841 9.832 1.112 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 134 1325 190 112 1037 492 -1

N.S.

1 1.00 0.78 7.70 1.10 0.65 6.03 2.86 -0.01

time (sec)

N/A 0.099 0.572 0.083 0.481 2.934 10.636 1.092 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 145 1555 213 122 1159 425 -1

N.S.

1 1.00 0.72 7.74 1.06 0.61 5.77 2.11 -0.00

time (sec)

N/A 0.119 0.615 0.078 0.484 3.110 28.049 1.787 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 37 34 28 31 29 19 20

N.S.

1 1.00 1.37 1.26 1.04 1.15 1.07 0.70 0.74

time (sec)

N/A 0.010 0.080 0.078 0.479 2.240 1.333 1.333 0.039

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 95 253 68 74 170 125 74

N.S.

1 1.00 1.86 4.96 1.33 1.45 3.33 2.45 1.45

time (sec)

N/A 0.044 0.192 0.079 0.484 1.921 2.662 1.058 0.051

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 109 215 104 108 0 92 -1

N.S.

1 1.00 0.92 1.82 0.88 0.92 0.00 0.78 -0.01

time (sec)

N/A 0.063 0.261 0.069 0.479 2.029 0.000 1.504 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 95 159 79 98 0 81 -1

N.S.

1 1.00 1.04 1.75 0.87 1.08 0.00 0.89 -0.01

time (sec)

N/A 0.042 0.212 0.090 0.493 2.242 0.000 1.052 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 78 97 58 83 0 69 -1

N.S.

1 1.00 1.01 1.26 0.75 1.08 0.00 0.90 -0.01

time (sec)

N/A 0.063 0.206 0.095 0.480 2.403 0.000 1.174 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 71 74 37 70 0 49 -1

N.S.

1 1.00 1.37 1.42 0.71 1.35 0.00 0.94 -0.02

time (sec)

N/A 0.014 0.165 0.072 0.480 2.774 0.000 1.337 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 46 29 35 0 38 29

N.S.

1 1.00 1.00 1.48 0.94 1.13 0.00 1.23 0.94

time (sec)

N/A 0.006 0.005 0.065 0.476 2.830 0.000 1.450 2.643

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 66 88 0 63 0 75 -1

N.S.

1 1.00 1.22 1.63 0.00 1.17 0.00 1.39 -0.02

time (sec)

N/A 0.029 0.229 0.059 0.000 2.733 0.000 0.942 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 77 108 0 88 0 164 -1

N.S.

1 1.00 0.95 1.33 0.00 1.09 0.00 2.02 -0.01

time (sec)

N/A 0.041 0.231 0.067 0.000 1.426 0.000 0.793 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 93 183 0 108 0 233 -1

N.S.

1 1.00 0.82 1.62 0.00 0.96 0.00 2.06 -0.01

time (sec)

N/A 0.057 0.269 0.076 0.000 1.449 0.000 1.256 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 129 350 139 179 0 0 -1

N.S.

1 1.00 1.01 2.73 1.09 1.40 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.355 0.087 0.484 1.990 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 114 257 114 165 0 0 -1

N.S.

1 1.00 1.01 2.27 1.01 1.46 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.321 0.078 0.485 2.335 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 102 204 91 148 0 0 -1

N.S.

1 1.00 1.15 2.29 1.02 1.66 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.287 0.066 0.504 1.634 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 60 149 78 97 0 0 56

N.S.

1 1.00 1.00 2.48 1.30 1.62 0.00 0.00 0.93

time (sec)

N/A 0.021 0.247 0.073 0.273 2.360 0.000 0.000 2.712

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 56 129 61 95 0 0 52

N.S.

1 1.00 0.97 2.22 1.05 1.64 0.00 0.00 0.90

time (sec)

N/A 0.014 0.231 0.069 0.271 1.565 0.000 0.000 2.712

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 60 104 62 98 0 0 56

N.S.

1 1.00 1.03 1.79 1.07 1.69 0.00 0.00 0.97

time (sec)

N/A 0.010 0.240 0.059 0.271 4.100 0.000 0.000 2.714

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 95 171 0 150 0 0 -1

N.S.

1 1.00 1.08 1.94 0.00 1.70 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.347 0.060 0.000 4.034 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 112 223 0 173 0 0 -1

N.S.

1 1.00 0.93 1.86 0.00 1.44 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.334 0.081 0.000 2.436 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 124 325 0 188 0 0 -1

N.S.

1 1.00 0.82 2.14 0.00 1.24 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.354 0.091 0.000 2.632 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 148 651 265 255 0 0 -1

N.S.

1 1.00 0.91 4.02 1.64 1.57 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.517 0.090 0.504 3.340 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 136 533 237 240 0 0 -1

N.S.

1 1.00 0.92 3.60 1.60 1.62 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.478 0.085 0.497 3.254 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 124 450 214 224 0 0 -1

N.S.

1 1.00 1.02 3.69 1.75 1.84 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.432 0.077 0.488 2.685 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 82 363 122 156 0 0 78

N.S.

1 1.00 0.96 4.27 1.44 1.84 0.00 0.00 0.92

time (sec)

N/A 0.048 0.342 0.065 0.275 2.149 0.000 0.000 2.952

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 82 311 100 159 0 0 78

N.S.

1 1.00 0.90 3.42 1.10 1.75 0.00 0.00 0.86

time (sec)

N/A 0.042 0.313 0.066 0.270 2.184 0.000 0.000 2.835

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 82 234 100 158 0 0 78

N.S.

1 1.00 0.86 2.46 1.05 1.66 0.00 0.00 0.82

time (sec)

N/A 0.031 0.341 0.056 0.273 2.012 0.000 0.000 2.788

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 82 212 82 159 0 0 78

N.S.

1 1.00 0.96 2.49 0.96 1.87 0.00 0.00 0.92

time (sec)

N/A 0.018 0.303 0.074 0.284 2.497 0.000 0.000 2.784

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 82 164 81 158 0 0 78

N.S.

1 1.00 1.00 2.00 0.99 1.93 0.00 0.00 0.95

time (sec)

N/A 0.013 0.015 0.066 0.277 2.222 0.000 0.000 2.759

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 118 255 0 224 0 0 -1

N.S.

1 1.00 0.99 2.14 0.00 1.88 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.462 0.059 0.000 1.939 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 133 333 0 249 0 0 -1

N.S.

1 1.00 0.86 2.16 0.00 1.62 0.00 0.00 -0.01

time (sec)

N/A 0.085 0.461 0.086 0.000 2.324 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 146 459 0 265 0 0 -1

N.S.

1 1.00 0.78 2.47 0.00 1.42 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.528 0.113 0.000 2.459 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 157 569 0 275 0 0 -1

N.S.

1 1.00 0.73 2.65 0.00 1.28 0.00 0.00 -0.00

time (sec)

N/A 0.131 0.587 0.098 0.000 2.386 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 104 422 121 221 0 0 161

N.S.

1 1.00 0.88 3.58 1.03 1.87 0.00 0.00 1.36

time (sec)

N/A 0.047 0.394 0.069 0.282 2.325 0.000 0.000 2.948

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 104 319 121 220 0 0 161

N.S.

1 1.00 0.85 2.59 0.98 1.79 0.00 0.00 1.31

time (sec)

N/A 0.039 0.408 0.069 0.279 2.292 0.000 0.000 2.883

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 83 134 68 75 0 0 116

N.S.

1 1.00 1.26 2.03 1.03 1.14 0.00 0.00 1.76

time (sec)

N/A 0.034 0.188 0.074 0.487 1.990 0.000 0.000 0.071

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 71 84 52 66 0 70 84

N.S.

1 1.00 1.29 1.53 0.95 1.20 0.00 1.27 1.53

time (sec)

N/A 0.054 0.184 0.061 0.484 2.541 0.000 0.819 0.067

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 67 65 33 58 0 52 57

N.S.

1 1.00 1.97 1.91 0.97 1.71 0.00 1.53 1.68

time (sec)

N/A 0.011 0.130 0.055 0.499 2.405 0.000 0.785 2.605

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 36 23 28 0 34 23

N.S.

1 1.00 1.00 1.38 0.88 1.08 0.00 1.31 0.88

time (sec)

N/A 0.006 0.115 0.065 0.482 2.244 0.000 0.930 2.588

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 55 58 0 52 0 74 58

N.S.

1 1.00 1.34 1.41 0.00 1.27 0.00 1.80 1.41

time (sec)

N/A 0.026 0.164 0.063 0.000 2.232 0.000 1.016 2.652

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 64 73 0 76 0 0 81

N.S.

1 1.00 1.00 1.14 0.00 1.19 0.00 0.00 1.27

time (sec)

N/A 0.035 0.159 0.070 0.000 2.475 0.000 0.000 2.592

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 76 94 0 97 0 213 105

N.S.

1 1.00 0.84 1.04 0.00 1.08 0.00 2.37 1.17

time (sec)

N/A 0.048 0.189 0.071 0.000 1.673 0.000 0.758 2.611

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 155 750 278 128 571 332 -1

N.S.

1 1.00 0.68 3.28 1.21 0.56 2.49 1.45 -0.00

time (sec)

N/A 0.203 0.274 0.088 0.526 1.964 21.925 0.739 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A C A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 144 696 256 119 690 301 -1

N.S.

1 1.00 0.72 3.48 1.28 0.60 3.45 1.50 -0.00

time (sec)

N/A 0.173 0.250 0.087 0.544 2.420 26.660 0.738 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 133 565 234 108 450 270 -1

N.S.

1 1.00 0.78 3.30 1.37 0.63 2.63 1.58 -0.01

time (sec)

N/A 0.136 0.257 0.067 0.561 2.865 7.317 0.727 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 122 541 215 99 541 239 -1

N.S.

1 1.00 0.86 3.81 1.51 0.70 3.81 1.68 -0.01

time (sec)

N/A 0.111 0.217 0.065 0.499 2.227 8.775 0.716 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 111 438 156 88 321 208 -1

N.S.

1 1.00 0.82 3.22 1.15 0.65 2.36 1.53 -0.01

time (sec)

N/A 0.036 0.180 0.066 0.501 2.130 4.010 1.324 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A C B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 100 244 115 79 350 177 -1

N.S.

1 1.00 0.93 2.26 1.06 0.73 3.24 1.64 -0.01

time (sec)

N/A 0.026 0.215 0.058 0.481 2.336 4.465 1.629 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 125 544 101 91 267 0 -1

N.S.

1 1.00 1.30 5.67 1.05 0.95 2.78 0.00 -0.01

time (sec)

N/A 0.099 0.308 0.060 0.497 2.533 6.097 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 128 674 111 110 347 0 -1

N.S.

1 1.00 1.22 6.42 1.06 1.05 3.30 0.00 -0.01

time (sec)

N/A 0.102 0.313 0.079 0.493 2.650 4.462 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 124 816 106 112 347 0 -1

N.S.

1 1.00 1.13 7.42 0.96 1.02 3.15 0.00 -0.01

time (sec)

N/A 0.101 0.325 0.069 0.479 2.760 4.620 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 121 983 127 100 338 0 -1

N.S.

1 1.00 1.19 9.64 1.25 0.98 3.31 0.00 -0.01

time (sec)

N/A 0.105 0.345 0.069 0.512 3.369 4.179 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 140 1153 123 82 422 237 -1

N.S.

1 1.00 1.30 10.68 1.14 0.76 3.91 2.19 -0.01

time (sec)

N/A 0.094 0.407 0.079 0.489 3.423 5.636 1.502 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 112 1349 146 92 660 265 -1

N.S.

1 1.00 0.80 9.64 1.04 0.66 4.71 1.89 -0.01

time (sec)

N/A 0.107 0.404 0.073 0.477 4.023 5.399 1.353 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 123 1550 169 102 808 293 -1

N.S.

1 1.00 0.73 9.17 1.00 0.60 4.78 1.73 -0.01

time (sec)

N/A 0.127 0.424 0.073 0.484 3.372 10.190 1.500 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A C C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 134 1575 192 112 835 321 -1

N.S.

1 1.00 0.68 7.95 0.97 0.57 4.22 1.62 -0.01

time (sec)

N/A 0.149 0.503 0.079 0.495 4.225 9.387 1.104 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 113 363 156 161 0 0 -1

N.S.

1 1.00 0.92 2.95 1.27 1.31 0.00 0.00 -0.01

time (sec)

N/A 0.148 0.414 0.076 0.493 3.633 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 70 309 143 109 0 171 66

N.S.

1 1.00 0.71 3.12 1.44 1.10 0.00 1.73 0.67

time (sec)

N/A 0.125 0.329 0.062 0.277 3.231 0.000 1.248 2.970

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 70 287 124 111 0 171 66

N.S.

1 1.00 0.79 3.22 1.39 1.25 0.00 1.92 0.74

time (sec)

N/A 0.089 0.343 0.077 0.287 1.802 0.000 1.053 2.896

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 69 262 126 109 0 160 65

N.S.

1 1.00 0.76 2.88 1.38 1.20 0.00 1.76 0.71

time (sec)

N/A 0.023 0.298 0.073 0.284 2.354 0.000 1.032 2.879

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F C B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 70 156 129 110 0 173 66

N.S.

1 1.00 0.77 1.71 1.42 1.21 0.00 1.90 0.73

time (sec)

N/A 0.020 0.331 0.065 0.274 1.682 0.000 1.099 2.847

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 107 330 0 162 0 254 -1

N.S.

1 1.00 0.91 2.80 0.00 1.37 0.00 2.15 -0.01

time (sec)

N/A 0.114 0.467 0.072 0.000 2.781 0.000 1.387 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 123 379 0 185 0 297 -1

N.S.

1 1.00 0.84 2.60 0.00 1.27 0.00 2.03 -0.01

time (sec)

N/A 0.187 0.464 0.086 0.000 1.959 0.000 3.170 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 136 483 0 201 0 330 -1

N.S.

1 1.00 0.74 2.64 0.00 1.10 0.00 1.80 -0.01

time (sec)

N/A 0.240 0.493 0.084 0.000 1.821 0.000 2.412 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 118 406 169 179 0 214 -1

N.S.

1 1.00 0.67 2.29 0.95 1.01 0.00 1.21 -0.01

time (sec)

N/A 0.274 0.443 0.087 0.480 2.506 0.000 3.127 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 106 340 146 164 0 194 -1

N.S.

1 1.00 0.73 2.33 1.00 1.12 0.00 1.33 -0.01

time (sec)

N/A 0.223 0.403 0.089 0.486 2.742 0.000 2.121 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 93 319 124 148 0 169 -1

N.S.

1 1.00 0.78 2.66 1.03 1.23 0.00 1.41 -0.01

time (sec)

N/A 0.163 0.351 0.057 0.486 2.361 0.000 1.944 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 52 288 113 98 0 98 48

N.S.

1 1.00 0.55 3.03 1.19 1.03 0.00 1.03 0.51

time (sec)

N/A 0.078 0.301 0.077 0.499 2.626 0.000 1.888 2.762

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 49 240 117 94 0 128 45

N.S.

1 1.00 0.51 2.47 1.21 0.97 0.00 1.32 0.46

time (sec)

N/A 0.027 0.277 0.066 0.472 2.845 0.000 1.903 2.590

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 52 145 122 100 0 158 48

N.S.

1 1.00 0.52 1.45 1.22 1.00 0.00 1.58 0.48

time (sec)

N/A 0.025 0.007 0.066 0.485 2.891 0.000 2.726 2.619

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 88 332 0 148 0 195 -1

N.S.

1 1.00 0.77 2.89 0.00 1.29 0.00 1.70 -0.01

time (sec)

N/A 0.112 0.452 0.067 0.000 2.669 0.000 1.827 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 103 349 0 173 0 287 -1

N.S.

1 1.00 0.71 2.39 0.00 1.18 0.00 1.97 -0.01

time (sec)

N/A 0.188 0.433 0.103 0.000 2.438 0.000 2.854 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 116 424 0 189 0 353 -1

N.S.

1 1.00 0.63 2.32 0.00 1.03 0.00 1.93 -0.01

time (sec)

N/A 0.235 0.480 0.087 0.000 2.223 0.000 1.506 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 130 432 0 188 0 224 -1

N.S.

1 1.00 0.64 2.12 0.00 0.92 0.00 1.10 -0.00

time (sec)

N/A 0.364 0.415 0.079 0.000 2.101 0.000 1.636 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 121 408 0 179 0 214 -1

N.S.

1 1.00 0.76 2.55 0.00 1.12 0.00 1.34 -0.01

time (sec)

N/A 0.261 0.408 0.073 0.000 1.811 0.000 1.452 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 106 349 0 164 0 193 -1

N.S.

1 1.00 0.72 2.36 0.00 1.11 0.00 1.30 -0.01

time (sec)

N/A 0.155 0.353 0.085 0.000 1.943 0.000 1.507 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 91 268 0 148 0 170 -1

N.S.

1 1.00 0.79 2.33 0.00 1.29 0.00 1.48 -0.01

time (sec)

N/A 0.095 0.350 0.084 0.000 1.638 0.000 1.046 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 52 141 113 96 0 128 46

N.S.

1 1.00 0.81 2.20 1.77 1.50 0.00 2.00 0.72

time (sec)

N/A 0.018 0.272 0.060 0.418 1.830 0.000 1.202 2.904

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 51 93 117 100 0 158 47

N.S.

1 1.00 0.76 1.39 1.75 1.49 0.00 2.36 0.70

time (sec)

N/A 0.014 0.368 0.056 0.364 1.776 0.000 1.549 2.776

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 88 415 0 148 0 195 -1

N.S.

1 1.00 0.80 3.77 0.00 1.35 0.00 1.77 -0.01

time (sec)

N/A 0.141 0.503 0.071 0.000 1.866 0.000 1.654 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 103 499 0 173 0 287 -1

N.S.

1 1.00 0.72 3.49 0.00 1.21 0.00 2.01 -0.01

time (sec)

N/A 0.191 0.511 0.086 0.000 2.462 0.000 2.086 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 116 598 0 189 0 353 -1

N.S.

1 1.00 0.63 3.27 0.00 1.03 0.00 1.93 -0.01

time (sec)

N/A 0.242 0.539 0.075 0.000 2.338 0.000 1.493 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 127 620 0 199 0 420 -1

N.S.

1 1.00 0.60 2.95 0.00 0.95 0.00 2.00 -0.00

time (sec)

N/A 0.309 0.619 0.089 0.000 2.420 0.000 1.456 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 151 1213 440 148 0 135 -1

N.S.

1 1.00 0.60 4.81 1.75 0.59 0.00 0.54 -0.00

time (sec)

N/A 0.418 0.365 0.079 0.536 1.710 0.000 1.380 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 143 1189 420 139 0 124 -1

N.S.

1 1.00 0.64 5.31 1.88 0.62 0.00 0.55 -0.00

time (sec)

N/A 0.330 0.397 0.073 0.524 1.514 0.000 4.654 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 129 1086 375 128 0 113 -1

N.S.

1 1.00 0.67 5.66 1.95 0.67 0.00 0.59 -0.01

time (sec)

N/A 0.264 0.319 0.075 0.525 2.088 0.000 1.686 0.000

[next] [prev] [prev-tail] [front] [up]